The No1 Ethical retailer for Books, CD’s, DVD’s & Games
30 Day Refund Guarantee

Buy Used and New Bernhard Steffen Books

Results for Bernhard Steffen

Showing 25 to 27 of 27 results
Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday: 13030 (Lecture Notes in Computer Science, 13030) Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday: 13030 (Lecture Notes in Computer Science, 13030) by Ernst-Rüdiger Olderog,Bernhard Steffen,Wang Yi

Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday: 13030 (Lecture Notes in Computer Science, 13030)

by Ernst-Rüdiger Olderog,Bernhard Steffen,Wang Yi


ISBN 13: 9783030913830

Format: Paperback (227 pages)
Publisher: Springer
Published: 22 Nov 2021

Save for later

 
New : $67.69  
New : $67.69
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications ... (Lecture Notes in Computer Science, 12477) Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications ... (Lecture Notes in Computer Science, 12477) by Tiziana Margaria, Bernhard Steffen

Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications ... (Lecture Notes in Computer Science, 12477)

by Tiziana Margaria, Bernhard Steffen


ISBN 13: 9783030614690

Format: Paperback (559 pages)
Publisher: Springer
Published: 27 Oct 2020

Save for later

 
New : $56.40  
New : $56.40
Leveraging Applications of Formal Methods, Verification and Validation: 10th International Symposium on Leveraging Applications of Formal Methods, ... (Lecture Notes in Computer Science, 13036) Leveraging Applications of Formal Methods, Verification and Validation: 10th International Symposium on Leveraging Applications of Formal Methods, ... (Lecture Notes in Computer Science, 13036) by Tiziana Margaria,Bernhard Steffen

Leveraging Applications of Formal Methods, Verification and Validation: 10th International Symposium on Leveraging Applications of Formal Methods, ... (Lecture Notes in Computer Science, 13036)

by Tiziana Margaria,Bernhard Steffen


ISBN 13: 9783030891589

Format: Paperback (516 pages)
Publisher: Springer
Published: 12 Oct 2021

Save for later

 
New : $73.89  
New : $73.89